منابع مشابه
A Polynomial Time Presburger Criterion and Synthesis
Number Decision Diagrams (NDD) are the automatabased symbolic representation for manipulating sets of integer vectors encoded as strings of digit vectors (least or most significant digit first). Since 1969 [9, 29], we know that any Presburger-definable set [26] (a set of integer vectors satisfying a formula in the first-order additive theory of the integers) can be represented by a NDD, and eff...
متن کاملParticipation rates in worksite-based intervention studies: health promotion context as a crucial quality criterion.
Recently, a set of specific quality evaluation criteria for health promotion research has been proposed in this journal. One of the quality criteria identified is the 'health promotion context'. With this paper we would like to contribute to the dialogue by specifying the importance of this criterion on the basis of our on experience with worksite-based obesity prevention interventions. We advo...
متن کاملCritical to the H-index as a criterion for evaluation at universities
The use of scientometric indicators to evaluate scholar articles and scientist in academic settings is one of the most challenging topics.(1) These indicators can be influenced by diverse and different factors, including the context in which the assessment activity is performed to measure the productivity and publications of the scientist or scholar. One of these indicators, which is currently...
متن کاملDangerousness as a criterion for confinement.
Several years ago a science fiction writer created in his fiction a .machine called a sanity meter, which automatically gauged a person's potelltial for dangerous conduct. The meter, which was installed in all public places, registered from zero to ten. A person scoring up to three was considered normal; a person scoring between four and seven, while within the tolerance limit, was advised to u...
متن کاملThe smoothness criterion as a trend diagnostic
The standard approach to time series analysis is to decompose the series into three components, the trend, the seasonal component and the irregular noise. In this paper we are concerned with estimating the trend and so we will assume that all series have been seasonally adjusted. The structural form of the trend is often decided by physical considerations or by inspection of global time series ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Deutsches Aerzteblatt Online
سال: 2018
ISSN: 1866-0452
DOI: 10.3238/arztebl.2018.0636b